DEF=test
EXT=test
TESTDIR=.
KOMPILE_FLAGS=-w2e -Wno missing-syntax-module

include ../../../include/kframework/ktest.mak
